Design of Framework for Logic Synthesis Engine

نویسندگان

  • Tribikram Pradhan
  • Pramod Kumar
  • Amit Bakshi
چکیده

Logic synthesis is a novel architectural concept used for converting a high level description of logic circuit into optimized gate level description. The method ranges from transforming a RTL description to producing an optimized netlist. Logic minimization plays an important role in optimization of logic synthesis. This optimization is done through the function minimization through different existing methods. The existing work on function minimization has resulted into many algorithms. In the proposed work, we form the basis for our synthesis engines vide detailed performance analysis and insight into the various minimization algorithms proposed erstwhile, and apply them on some real example circuit. We plan to propose our own algorithm as well for enhanced performance.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Filter Design for a Sinusoidal Synthesis Engine Using Linear Programming and Sound Synthesis Examples 1 Filter Design for a Sinusoidal Synthesis Engine Using Linear Programming and Sound Synthesis Examples

We concentrate on the design of a FIR lter for a fast transform based sinusoidal sound synthesis engine using linear programming and the construction of controller modules that emulate the behavior of contemporary and vintage commercial synthesizers or synthesis techniques. We will show that it is possible to create an entire highly controllable (playable) synthesis framework on top of the tran...

متن کامل

ROBUST FUZZY CONTROL DESIGN USING GENETIC ALGORITHM OPTIMIZATION APPROACH: CASE STUDY OF SPARK IGNITION ENGINE TORQUE CONTROL

In the case of widely-uncertain non-linear system control design, it was very difficult to design a single controller to overcome control design specifications in all of its dynamical characteristics uncertainties. To resolve these problems, a new design method of robust fuzzy control proposed. The solution offered was by creating multiple soft-switching with Takagi-Sugeno fuzzy model for optim...

متن کامل

A Design Methodology for Reliable MRF-Based Logic Gates

Probabilistic-based methods have been used for designing noise tolerant circuits recently. In these methods, however, there is not any reliability mechanism that is essential for nanometer digital VLSI circuits. In this paper, we propose a novel method for designing reliable probabilistic-based logic gates. The advantage of the proposed method in comparison with previous probabilistic-based met...

متن کامل

H∞ design of general multirate sampled-data control systems

Direct digital design of general multirate sampled-data systems is considered. To tackle causality constraints, a new and natural framework is proposed using nest operators and nest algebras. Based on this framework explicit solutions to the H1 and H2 multirate control problems are developed in the frequency domain.

متن کامل

QuteRTL: Towards an Open Source Framework for RTL Design Synthesis and Verification

We build an open-source RTL framework, QuteRTL, which can serve as a front-end for research in RTL synthesis and verification. Users can use QuteRTL to read in RTL Verilog designs, obtain CDFGs, generate hierarchical or flattened gate-level netlist, and link to logic synthesis/ optimization tools (e.g. Berkeley ABC). We have tested QuteRTL on various RTL designs and applied formal equivalence c...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013